Identity (x y)^2